#include <stdio.h>
#include <time.h>
int main(int argc, char** argv) {
  srand(time(NULL));
  int i = rand(0);
  printf("[%d]\n", i);
  return 0;
}
